Incompatible Ω-Complete Theories
نویسندگان
چکیده
منابع مشابه
ω-Stable Theories: Introduction
1 ω Stable/Totally Transcendental Theories Throughout let T be a complete theory in a countable language L having infinite models. For an L-structure M and A ⊆ M let SM n (A) denote the set of n-types of A. We define a topology (called Stone topology) on SM n (A) by setting basic open sets to be of the form Uφ = {p ∈ SM n (A) : φ ∈ p} where φ is an L(A)-formula. Then SM n (A) is totally disconn...
متن کاملIndependently Axiomatizable Lω1,ω Theories
In partial answer to a question posed by Arnie Miller [5] and X. Caicedo [2] we obtain sufficient conditions for an Lω1,ω theory to have an independent axiomatization. As a consequence we obtain two corollaries: If Vaught’s conjecture holds, then every Lω1,ω theory in a countable language has an independent axiomatization; every intersection of a family of Borel sets can be formed as the inters...
متن کاملOn Ω 1 -categorical but Not Ω-categorical Theories
1 ABSTRACT By generalizing to model theory notions connected with dimension, it is shown that certain theories categorical in uncountable powers have countably many de-numerable isomorphism types which are arranged in an ω + 1 sequence under the ordering of the possibility of elementary imbedding. It is also shown that any countable elementary extension of a denumerable saturated model of a the...
متن کاملOn many-sorted ω-categorical theories
We prove that every many-sorted ω-categorical theory is completely interpretable in a one-sorted ω-categorical theory. As an application, we give a short proof of the existence of non G–compact ω-categorical theories.
متن کاملSupersimple Ω-categorical Groups and Theories
An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU -rank. Every definable subgroup is commensurable with an acl(∅)definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU -rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU -rank.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2009
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1254748685